]> dgit.raspbian.org Git - gnome-shell.git/commit
extensionPrefs: Fix opening extension preferences on startup
authorFlorian Müllner <fmuellner@gnome.org>
Thu, 28 Feb 2013 13:50:56 +0000 (14:50 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Thu, 28 Feb 2013 14:37:29 +0000 (15:37 +0100)
commit6e89d2f46afa675ea1f53c66d95eb1539ac2226f
treee3937c67c9fc2bc0b08d130ac6f0bb2a3823e061
parente99d69b7d9a148bb775f9d99bb9afa231bdeb99d
extensionPrefs: Fix opening extension preferences on startup

gnome-shell-extension-prefs supports opening a specific extension's
preferences directly from the command line by passing the UUID.
However this broke when extension loading was changed to be processed
asynchronously, as no extension has been loaded when the command
line argument is processed. Fix by deferring opening the extension's
preferences until all extensions have been loaded.

https://bugzilla.gnome.org/show_bug.cgi?id=694858
js/extensionPrefs/main.js